Перевод: со всех языков на русский

с русского на все языки

rule of implication

См. также в других словарях:

  • Admissible rule — In logic, a rule of inference is admissible in a formal system if the set of theorems of the system is closed under the rule. The concept of an admissible rule was introduced by Paul Lorenzen (1955).DefinitionsThe concept of admissibility, as… …   Wikipedia

  • Association rule learning — In data mining, association rule learning is a popular and well researched method for discovering interesting relations between variables in large databases. Piatetsky Shapiro[1] describes analyzing and presenting strong rules discovered in… …   Wikipedia

  • Posting rule — The posting rule (or mailbox rule in the U.S., or postal rule or deposited acceptance rule ) is an exception to the general rule of contract law in common law countries that acceptance takes place when communicated. The posting rule states, by… …   Wikipedia

  • Mailbox rule — The mailbox rule (called the postal rule or postal acceptance rule in the UK, Australia and New Zealand, or deposited acceptance rule ) is a term of common law contracts which determines the timing of acceptance of an offer when mail is… …   Wikipedia

  • Net capital rule — The uniform net capital rule is a rule created by the U.S. Securities and Exchange Commission ( SEC ) in 1975 to regulate directly the ability of broker dealers to meet their financial obligations to customers and other creditors.[1] Broker… …   Wikipedia

  • Thorson's rule — (named after Gunnar Thorson by S. A. Mileikovsky in 1971)Mileikovsky, S. A. 1971. Types of larval development in marine bottom invertebrates, their distribution and ecological significance: a reevaluation. Marine Biology 19: 193 213] states that… …   Wikipedia

  • Semantic Web Rule Language — SWRL (Semantic Web Rule Language) is a proposal for a Semantic Web rules language, combining sublanguages of the OWL Web Ontology Language (OWL DL and Lite) with those of the Rule Markup Language (Unary/Binary Datalog).The specification was… …   Wikipedia

  • Micromega rule — Regarding the choice of electoral systems by political parties, the Micro mega rule holds that ‘the large prefer the small and the small prefer the large’: The ‘Micro mega’ reference is the title of a Voltaire’s tale in which dwarfs and giants… …   Wikipedia

  • Linear logic — In mathematical logic, linear logic is a type of substructural logic that denies the structural rules of weakening and contraction . The interpretation is of hypotheses as resources : every hypothesis must be consumed exactly once in a proof.… …   Wikipedia

  • Deduction theorem — In mathematical logic, the deduction theorem is a metatheorem of first order logic.[1] It is a formalization of the common proof technique in which an implication A → B is proved by assuming A and then proving B from this assumption.… …   Wikipedia

  • western Africa, history of — Introduction       history of the region from the 11th century to the present.       A reasonable body of sources for the writing of western African history begins to be available about AD 1000. Three centuries earlier, the Arabs (Arab) had… …   Universalium

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»